Computational logic

Results: 652



#Item
61Semantics / Grammar / Predicate logic / Knowledge representation / Computational linguistics / Logical Form / Dependency grammar / First-order logic / Description logic / Semantic network / Quantifier / Model theory

Semantic Processing Semantics Semantic

Add to Reading List

Source URL: cl.indiana.edu

Language: English - Date: 2016-04-23 22:06:25
62Tone / Prosody / Cognitive science / Phonology / Intonation / Pitch contour / Fuzzy logic / Fuzzy set / Prosodic unit / Prototype theory

This poster describes the principal elements of a methodology - and its associated computational system - that generates graded categories of intonation contours from sets of instances belonging to these categories. At t

Add to Reading List

Source URL: www.labphon.org

Language: English - Date: 2014-10-07 13:13:53
63Artificial intelligence / Fuzzy logic / Computational intelligence / Fuzzy set / Fuzzy control system / Soft computing / IEEE Transactions on Fuzzy Systems / IEEE Computational Intelligence Society / Type-2 fuzzy sets and systems / Neuro-fuzzy

Tutorial Proposal on Probabilistic Fuzzy Systems Venue: 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2013), Beijing, China Date: July 6 – 11, 2014

Add to Reading List

Source URL: www.conference123.org

Language: English - Date: 2014-07-16 23:21:57
64Artificial intelligence / Programming paradigms / Computational neuroscience / Philosophy of artificial intelligence / Futurology / Intelligent agent / Intelligence / Knowledge representation and reasoning / Logic programming / Robotics / Existential risk from artificial general intelligence / Artificial general intelligence

Considerations Regarding Human-Level Artificial Intelligence Nils J. Nilsson () Robotics Laboratory Department of Computer Science Stanford University

Add to Reading List

Source URL: ai.stanford.edu

Language: English - Date: 2004-01-22 14:14:52
65Artificial intelligence / Philosophy of artificial intelligence / Programming paradigms / Computational neuroscience / Neats vs. scruffies / Logic programming / Knowledge representation and reasoning / Frame language / Nils John Nilsson / Intelligence / Nouvelle AI / Artificial general intelligence

25th Anniversary Issue Reconsiderations Nils J. Nilsson ■ In 1983, I gave the AAAI president’s address titled

Add to Reading List

Source URL: ai.stanford.edu

Language: English - Date: 2006-02-23 13:22:58
66Fuzzy logic / Artificial intelligence / Soft computing / Systems scientists / Logic in computer science / Lotfi A. Zadeh / Computing with words and perceptions / Fuzzy set / Computational intelligence / Fuzzy mathematics / IEEE Computational Intelligence Society / Fuzzy control system

IFSA Newsletter Vol. 3, No. 2, September 2006 In this issue: PLENARY SPEECH OF JANUSZ KACPRZYK AT WCCI’06

Add to Reading List

Source URL: isdlab.ie.ntnu.edu.tw

Language: English - Date: 2016-04-12 22:54:43
67Complexity classes / Theoretical computer science / Computational resources / Mathematical logic / Computability theory / Algorithm / Recursion / NP / DSPACE / FO / Exponential time hypothesis / Time complexity

Efficient Secure Computation Optimization Raphael Urmoneit Florian Kerschbaum Technische Universität

Add to Reading List

Source URL: www.fkerschbaum.org

Language: English - Date: 2013-08-28 05:10:42
68Artificial neural networks / Computational neuroscience / Deep learning / Long short-term memory / Mathematical logic / Artificial intelligence / Algorithm / Motion

Supplementary for Structural-RNN: Deep Learning on Spatio-Temporal Graphs Ashesh Jain1,2 , Amir R. Zamir1 , Silvio Savarese1 , and Ashutosh Saxena3 Stanford University1 , Cornell University2 , Brain Of Things Inc.3 {ashe

Add to Reading List

Source URL: asheshjain.org

Language: English - Date: 2016-07-13 23:04:50
69Complexity classes / Finite model theory / Computational complexity theory / Descriptive complexity / Structural complexity theory / FO / SO / P versus NP problem / NP / P / Reduction / HO

Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic II: the four-element case

Add to Reading List

Source URL: www.bedewell.com

Language: English - Date: 2010-08-24 16:58:08
70Graph theory / Graph / Data mining / Computational linguistics

Graph Summarization in Annotated Data Using Probabilistic Soft Logic Alex Memory1 , Angelika Kimmig1,2 , Stephen H. Bach1 , Louiqa Raschid1 and Lise Getoor1 1

Add to Reading List

Source URL: psl.umiacs.umd.edu

Language: English - Date: 2013-06-14 19:26:53
UPDATE